AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN thinkteam ® MAURICE H. TER BEEK
نویسندگان
چکیده
9.
منابع مشابه
Bibliography of Team Automata
This paper introduces a mathematical model of groupware systems called Team Automata. We use this model at the architectural level, to describe components of a groupware system, and their interconnections. The multiple automata constituting the team interact via shared actions transitions which multiple automata perform synchronously together. The paper concludes by illustrating the application...
متن کاملA state/event-based model-checking approach for the analysis of abstract system properties
We present the UMC framework for the formal analysis of concurrent systems specified by collections of UML state machines. The formal model of a system is given by a doubly labelled transition system, and the logic used to specify its properties is the state-based and event-based logic UCTL. UMC is an on-the-fly analysis framework which allows the user to interactively explore a UML model, to v...
متن کاملApplication of the Kalman-Bucy filter in the stochastic differential equation for the modeling of RL circuit
In this paper, we present an application of the stochastic calculusto the problem of modeling electrical networks. The filtering problem have animportant role in the theory of stochastic differential equations(SDEs). In thisarticle, we present an application of the continuous Kalman-Bucy filter for a RLcircuit. The deterministic model of the circuit is replaced by a stochastic model byadding a ...
متن کاملAnalysing Robot Movement Using the Sensoria Methods
In this paper, we give a recount of the application of Sensoria approaches, languages, and tools to the modeling of movement of the robot that has taken the lead role in Sensoria demonstrations at the exhibitions ICT 2008 in Lyon and FET 2009 in Prague. The demos were centred around a robot-bowling game that actively involved the visitors in programming a robot that plays bowling, using some of...
متن کاملAn action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications
In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled transition systems. The defined temporal logic, called UCTL, combines the action paradigm—classically used to describe systems using labelled transition systems—with predicates that are true over states—as captured when using Kr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012